design fa which accept unary number divisible by 3